Nuprl Definition : sends-msgs
0,22
postcript
pdf
sends-msgs(
s
;
v
;
tg_f
) == map(
x
.<1of(
tg_f
),
x
>;2of(
tg_f
)(
s
,
v
))
latex
Definitions
map(
f
;
as
)
,
x
.
A
(
x
)
,
<
a
,
b
>
,
1of(
t
)
,
f
(
a
)
,
2of(
t
)
FDL editor aliases
sends-msgs
origin
x.<1of(tg_f),x>;2of(tg_f)(s,v)) x.<1of(tg_f),x>;2of(tg_f)(s,v)) x.A(x)